structure S =
struct
  type t (= contag)
  val f : t -> t -> t
end
